struct O
{
    invariant() {}
}
